home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 2.iso / STUTTGART / TEX-UTIL / DVIPS_55 / ObeyFiles / MkTeXPK < prev    next >
Text File  |  1994-02-19  |  2KB  |  56 lines

  1. | MAKETEXPK
  2. |
  3. |   This script file makes a new TeX PK font, because one wasn't
  4. |   found.  Parameters are:
  5. |
  6. |   name dpi bdpi magnification [mode]
  7. |
  8. |   `name' is the name of the font, such as `cmr10'.  `dpi' is
  9. |   the resolution the font is needed at.  `bdpi' is the base
  10. |   resolution, useful for figuring out the mode to make the font
  11. |   in.  `magnification' is a string to pass to MF as the
  12. |   magnification.  `mode', if supplied, is the mode to use.
  13. |
  14. |   Note that this file must execute Metafont, and then gftopk,
  15. |   and place the result in the correct location for the PostScript
  16. |   driver to find it subsequently.  If this doesn't work, it will
  17. |   be evident because MF will be invoked over and over again.
  18. |
  19. |   Of course, it needs to be set up for your site.
  20. |
  21. set DESTDIR <tex$dir>.fonts.f5
  22. set TEMPDIR <rubbish$dir>
  23. set NAME %0
  24. set DPI %1
  25. set BDPI %2
  26. set MAG %3
  27. if "%4" = "" then set MODE "hplaser" else set MODE %4
  28.  
  29. |
  30. set GFNAME "<NAME>.<DPI>gf"
  31. set PKNAME "<NAME>.<DPI>pk"
  32. |
  33. echo mf \mode = <MODE>; mag = <MAG>; input <NAME>
  34. Set MF$options  \mode= <MODE>; mag = <MAG>; input <NAME>
  35. |mf { > null: } 
  36. mf
  37. | Using BITS module
  38. iffile <GFNAME> gftopk -v <GFNAME> <PKNAME> { > null: }
  39. ifdir <NAME> set mfsucc true
  40. ifdir <destdir>.<name> set defdir true 
  41. |
  42. if "<mfsucc>" = "" then error MF failed.                
  43. if "<defdir>" = "" then cdir <destdir>.<name> 
  44. copy <pkname> <destdir>.<pkname> ~V ~C F D Q 
  45. copy <name> <tempdir> ~V ~C D F Q   
  46. |
  47. unset defdir
  48. unset mfsucc 
  49. unset name
  50. unset mag
  51. unset mode
  52. unset bdpi
  53. unset dpi
  54. unset tempdir
  55. unset destdir
  56. |